Prolog-Based Analysis of Tabular Rule-Based Systems with XTT Approach
نویسندگان
چکیده
This paper presents a new approach to the issue of assuring rule-based systems (RBS) correctness. The principal idea is that verification should be performed on-line, incrementally, during system design. It allows for early detection and handling of knowledge base anomalies and inconsistencies by incorporating a formal Prolog-based analysis of RBS in the design phase. A formal concept of a design tool (XTT) for specifying attributive RBS with a visual editor is outlined.
منابع مشابه
XTT+ Rule Design Using the ALSV(FD)
This paper presents advances in Set Attributive Logic and its application to develop tabular rule-based systems within the XTT framework. The primary goal is to extend the expressive power of simple attributive languages so that it becomes satisfactory for complex applications, including the business rules support. A formal framework of extended Attributive Logic with Set Values over Finite Dom...
متن کاملVisual Design and On-line Verification of Tabular Rule-Based
The paper is dedicated to presentation of a new approach to joint design and verification of rule-based systems. The principal idea is that verification should be performed on-line, incrementally, during system design. This allows for early detection and handling of knowledge base anomalies and inconsistencies. The proposed approach offers also an innovative visual tool for computer-aided desig...
متن کاملMethodologies and Technologies for Rule-Based Systems Design and Implementation. Towards Hybrid Knowledge Engineering
A practical design of non-trivial rule-based systems requires a systematic, structured and consistent approach. The paper focuses on selected issues in RBS knowledge engineering. Some ideas on combining knowledge engineering with software engineering are discussed. Furthermore, results of RBS design tools survey are enclosed. In the paper an original design and implementation methodology for RB...
متن کاملRule-based Systems, CASE tools,Visual Design
In order to address problems encountered in the design of rule-based and expert systems the paper discusses a proposal of a new approach to rule-based system design and verification using an integrated CASE tool supporting visual design of rule-based systems. The Mirella tool allows for dynamic on-line specification of components of the knowledge with simultaneous analysis of the rule-based sys...
متن کاملFormal design, Rule-based systems, Tabular-Trees
New trends in development of databases and expert systems seems to underline the role of graphical specification tools, visual information modeling and formal verification procedures. This paper incorporates these new ideas and, moreover, tries to present putting them in engineering practice. The main goal is to move the design procedure to a more abstract, logical level, where knowledge specif...
متن کامل